sealed public class Aminal/* permits Dog*/{

}

sealed class Dog extends Aminal permits ProDog{

}

non-sealed class ProDog extends Dog{

}